$\forall$${\it eq}$, $x$, $v$, $y$:Top. $x$ : $v$($y$) $\sim$ $v$